61. Automated deduction in geometry : 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers
پدیدآورنده : Hoon Hong, Dongming Wang )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing -- Congresses ، Geometry,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
3763
62. Automated deduction in geometry : 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : Congresses ، Geometry - Data processing,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
448
.
D38
I577
2004
63. Automated deduction in geometry: 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers
پدیدآورنده : Hoon Hong, Dongming Wang )eds.(
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : Congresses ، Geometry - Data processing,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
448
.
D38
I577
2004
64. Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers
پدیدآورنده : Franz Winkler )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing -- Congresses ، Geometry,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
2930
65. Automated deduction in geometry: 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002: revised papers
پدیدآورنده : Franz Winkler )ed.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Data processing - Congresses ، Geometry,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
448
.
D38
I577
2002
66. Automated deduction in geometry: third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000: revised papers
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Geometry-- Data processing,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
448
.
D38
.
I577
2000
67. Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers
پدیدآورنده : Jurgen Richter-Gebert, Dongming Wang, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing -- Congresses ، Geometry,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
2061
68. Cohomology Rings of Finite Groups
پدیدآورنده : by Jon F. Carlson, Lisa Townsley, Luis Valeri-Elizondo, Mucheng Zhang.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra.,Algebraic topology.,Electronic data processing.,Geometry.,Mathematics.
69. Combinatorial and computational geometry
پدیدآورنده : / Edited by Jacob E. Goodman, Janos Pach, Emo Welzl
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Discrete geometry,Combinatorial geometry,Geometry,-- Data processing
رده :
516
.
11
C729
2005
70. Combinatorial and computational geometry
پدیدآورنده : edited by Jacob E. Goodman, Janos Pach, Emo Welzl
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Discrete geometry,، Combinatorial geometry,Data processing ، Geometry
رده :
QA
640
.
7
.
C65
71. Computational Methods in commutative Algebra and Algebraic Geometry
پدیدآورنده : Vasconcelos, Wolmer V
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع : ، Commutative algebra - Data processing,، Geometry, Algbraic - Data processing
رده :
QA
251
.
3
.
V36
C6
72. Computational algebraic geometry
پدیدآورنده : / Fraedaeric Eyssette, Andrae Galligo, editors
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Geometry, Algebraic, Data processing, Congresses
73. Computational algebraic geometry
پدیدآورنده : / Hal Schenck
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Geometry, Algebraic- Data processing- Congresses
رده :
QA564
.
S29
2003
74. Computational algebraic geometry
پدیدآورنده : / Frederic Eyssette, Andre Galligo, editors
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Geometry, Algebraic- Data processing- Congresses
رده :
QA564
.
C6564
1993
75. Computational algebraic geometry
پدیدآورنده : Schenck, Hal
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing -- Congresses ، Geometry, Algebraic
رده :
QA
564
.
S33C6
76. Computational algebraic geometry
پدیدآورنده : Frederic Eyssette, Andre Galligo editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing -- Congresses ، Geometry, Algebraic
رده :
QA
564
.
C656
77. Computational algebraic geometry
پدیدآورنده :
موضوع : ، Geometry, Algebraic-- Data processing-- Congresses
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
78. Computational algebraic geometry
پدیدآورنده : Hal Schenck
موضوع : Geometry, Algebraic - Data processing - Congresses
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
79. Computational algebraic geometry
پدیدآورنده : / Hal Schenck
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Geometry, Algebraic- Data processing- Congresses
رده :
QA564
.
S29
2003
80. Computational algebraic geometry
پدیدآورنده : Frederic Eyssette, Andre Galligo, editors
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Data processing - Congresses ، Geometry, Algebraic
رده :
QA
564
.
C656
1993
